William Pugh (Bill Pugh) is the inventor of the skip list, the Omega test for deciding Presburger arithmetic, co-author of the static code analysis tool FindBugs, and was highly influential in the development of the current memory model of the Java language together with his PhD student Jeremy Manson.
He is currently a professor of computer science at the University of Maryland, College Park, and also sits on the technical advisory board for Fortify Software.